Denjoy Systems and Substitutions
نویسندگان
چکیده
منابع مشابه
Denjoy, Demuth, and Density
We consider effective versions of two classical theorems, the Lebesgue density theorem and the Denjoy-Young-Saks theorem. For the first, we show that a Martin-Löf random real z ∈ [0, 1] is Turing incomplete if and only if every effectively closed class C ⊆ [0, 1] containing z has positive density at z. Under the stronger assumption that z is not LR-hard, we show that every such class has densit...
متن کاملThe distributional Denjoy integral
Let f be a distribution (generalised function) on the real line. If there is a continuous function F with real limits at infinity such that F ′ = f (distributional derivative) then the distributional integral of f is defined as ∫ ∞ −∞ f = F (∞)−F (−∞). It is shown that this simple definition gives an integral that includes the Lebesgue and Henstock–Kurzweil integrals. The Alexiewicz norm leads ...
متن کاملPure Type Systems, Cut and Explicit Substitutions
Pure type systems are a general formalism allowing to represent many type systems – in particular, Barendregt’s λ-cube, including Girard’s system F , dependent types, and the calculus of constructions. We built a variant of pure type systems by adding a cut rule associated to an explicit substitution in the syntax, according to the Curry-Howardde Bruijn correspondence. The addition of the cut r...
متن کاملIntersection Type Systems and Explicit Substitutions Calculi
The λ-calculus with de Bruijn indices, called λdB, assembles each α-class of λ-terms into a unique term, using indices instead of variable names. Intersection types provide finitary type polymorphism satisfying important properties like principal typing, which allows the type system to include features such as data abstraction (modularity) and separate compilation. To be closer to computation a...
متن کاملQuasianalytic Denjoy-carleman Classes and O-minimality
The work in this paper has been motivated by two questions from the theory of o-minimality (see for instance [6]): (1) Does every o-minimal expansion of the real field admit analytic cell decomposition? (2) Does there exist a “largest” o-minimal expansion M of the real field, in the sense that any other o-minimal expansion of the real field is a reduct of M? We describe here a new method of con...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Tokyo Journal of Mathematics
سال: 2009
ISSN: 0387-3870
DOI: 10.3836/tjm/1249648408